Relations and Kleene algebra in computer science (9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006)Schmidt, Renate A.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37873-1, 1Vol, XI-431 p, isbn 3-540-37873-1Conference Proceedings

Algebraization of hybrid logic with bindersLITAK, Tadeusz.Lecture notes in computer science. 2006, pp 281-295, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Local variable scoping and kleene algebra with testsABOUL-HOSN, Kamal; KOZEN, Dexter.Lecture notes in computer science. 2006, pp 78-90, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 13 p.Conference Paper

On the fixpoint theory of equality and its applicationsSZATAS, Andrzej; TYSZKIEWICZ, Jerzy.Lecture notes in computer science. 2006, pp 388-401, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 14 p.Conference Paper

Monotonicity analysis can speed up verificationPRIAS, Marcelo F; GAMARRA, Rodolfo; STEREN, Gabriela et al.Lecture notes in computer science. 2006, pp 177-191, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

On the cardinality of relationsKAWAHARA, Yasuo.Lecture notes in computer science. 2006, pp 251-265, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Semigroupoid interfaces for relation-algebraic programming in haskellKAHL, Wolfram.Lecture notes in computer science. 2006, pp 235-250, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 16 p.Conference Paper

Computing and visualizing lattices of subgroups using relation algebra and RELVIESBERGHAMMER, Rudolf.Lecture notes in computer science. 2006, pp 91-105, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Evaluating sets of search points using relational algebraKEHDEN, Britta.Lecture notes in computer science. 2006, pp 266-280, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Max-plus convex geometryGAUBERT, Stéphane; KATZ, Ricardo.Lecture notes in computer science. 2006, pp 192-206, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Weak relational productsWINTER, Michael.Lecture notes in computer science. 2006, pp 417-431, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

A relational view of recurrence and attractors in state transition dynamicsSCOLLO, Giuseppe; FRANCO, Giuditta; MANCA, Vincenzo et al.Lecture notes in computer science. 2006, pp 358-372, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Demonic algebra with domainDE CARUFEL, Jean-Lou; DESHARNAIS, Jules.Lecture notes in computer science. 2006, pp 120-134, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Finite symmetric integral relation algebras with no 3-cyclesMADDUX, Roger D.Lecture notes in computer science. 2006, pp 2-29, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 28 p.Conference Paper

Omega algebra, demonic refinement algebra and commandsHÖFNER, Peter; MÖLLER, Bernhard; SOLIN, Kim et al.Lecture notes in computer science. 2006, pp 222-234, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 13 p.Conference Paper

On two dually nondeterministic refinement algebrasSOLIN, Kim.Lecture notes in computer science. 2006, pp 373-387, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Relational measures and integrationSCHMIDT, Gunther.Lecture notes in computer science. 2006, pp 343-357, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Betweenness and comparability obtained from binary relationsDÜNTSCH, Ivo; URQUHART, Alasdair.Lecture notes in computer science. 2006, pp 148-161, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 14 p.Conference Paper

Computations and relational bundlesSANDERS, J. W.Lecture notes in computer science. 2006, pp 30-62, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 33 p.Conference Paper

Homomorphism and isomorphism theorems generalized from a relational perspectiveSCHMIDT, Gunther.Lecture notes in computer science. 2006, pp 328-342, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

On the complexity of the equational theory of relational action algebrasBUSZKOWSKI, Wojciech.Lecture notes in computer science. 2006, pp 106-119, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 14 p.Conference Paper

Topological representation of contact latticesDÜNTSCH, Ivo; MACCAULL, Wendy; VAKARELOV, Dimiter et al.Lecture notes in computer science. 2006, pp 135-147, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 13 p.Conference Paper

An axiomatization of arrays for kleene algebra with testsABOUL-HOSN, Kamal.Lecture notes in computer science. 2006, pp 63-77, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Lazy semiring neighbours and some applicationsHÖFNER, Peter; MÖLLER, Bernhard.Lecture notes in computer science. 2006, pp 207-221, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Monodic tree kleene algebraTAKAI, Toshinori; FURUSAWA, Hitoshi.Lecture notes in computer science. 2006, pp 402-416, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper